Blar i SINTEF Open på forfatter "Runde, Ragnhild Kobro"
-
Conceptual Framework for the DIAMONDS Project
Erdogan, Gencer; Li, Yan; Runde, Ragnhild Kobro; Seehusen, Fredrik; Stølen, Ketil (SINTEF Rapport;, Research report, 2012)DIAMONDS is a research project addressing the combination of security testing and risk analysis. The main objective is to develop guidelines and a supporting framework to help businesses find a balanced approach within the ... -
Mandatory and Potential Choice: Comparing Event-B and STAIRS
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (Chapter, 2016)In order to decide whether a software system fulfills a specification, or whether a detailed specification preserves the properties of a more abstract specification, we need an understanding of what it means for one ... -
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
Runde, Ragnhild Kobro; Refsdal, Atle; Stølen, Ketil (Journal article; Peer reviewed, 2013)Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ... -
Stepwise refinement of sequence diagrams with soft real-time constraints
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (Journal article; Peer reviewed, 2015)UML sequence diagrams and similar notations are much used to specify and analyze computer systems and their requirements. Probabilities are often essential, in particular for capturing soft real-time constraints. It is ... -
Stepwise refinement of sequence diagrams with soft real-time requirements
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (Research report, 2011)UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer ...